Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
291	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
292	Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Generic programming Polytypic NP Polymorphism Functor Dependent type Map
293	Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Object-oriented programming languages Functional programming Type theory Scala Immutable object Xtend C++ classes Covariance and contravariance Type class
294	275 Documenta Math. The Number of Independent Vassiliev Invariants in Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-17 12:26:44 Polynomials Knot theory Jones polynomial HOMFLY polynomial Finite type invariant Kauffman polynomial Bracket polynomial
295	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
296	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:20 C++ Method Object-oriented programming languages Java Type theory Trait Multiple inheritance Mixin Mutator method Java syntax Inheritance Parameter
297	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
298	365 Documenta Math. Heegner Points and L-Series of Automorphic Cusp Forms of Drinfeld Type Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:15 Algebraic geometry Modular forms Field theory Valuation Symbol Complex multiplication Hecke operator Elliptic curve Drinfeld module Spectral theory of ordinary differential equations RamanujanPetersson conjecture
299	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-03-17 08:21:04 Type theory Functional languages FAUST Eval Dependent type Coq NyquistShannon sampling theorem Mathematical proof FeitThompson theorem Functional programming
300	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind

UPDATE